Automatic Analysis of the NRL Pump
نویسندگان
چکیده
We define a probabilistic model for the NRL Pump and using FHP-murφ show experimentally that there exists a probabilistic covert channel whose capacity depends on various NRL Pump parameters (e.g. buffer size, number of samples in the moving average, etc).
منابع مشابه
Automatic Covert Channel Analysis of a Multilevel Secure Component
The NRL Pump protocol defines a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrading average time performances. We define a probabilistic model for the NRL Pump and show how a probabilistic model checker (FHP-murφ) can be used to estimate the capacity of a probabilistic covert channel in the NRL Pump. We are...
متن کاملA Case Study Of Two Nrl Pump Prototypes
As computer systems become more open and interconnected, the need for reliable and secure communication also increases. The NRL Pump was introduced to balance the requirements of reliability, congestion control, fairness, and good performance against those of threats from covert channels and denial of service attacks. In this paper, we describe two prototype e orts. One implements the Pump at t...
متن کاملImpeller and volute design and optimization of the centrifugal pump with low specific speed in order to extract performance curves
Now a day centrifugal pumps are vital components of industries. Certainly, one of the most important specifications of centrifugal pumps are the performance curves. In the present work, performance curves of a centrifugal pumps are obtained by Computational fluid dynamics (CFD) and as an outcome, CFD results compare by practical curves. At the first step impeller and volute are designed with tw...
متن کاملDesign and Assurance Strategy for the NRL Pump
Developing a trustworthy system is difficult because the developer must construct a persuasive argument that the system conforms to its critical requirements. This assurance argument, as well as the software and hardware, must be evaluated by an independent certification team. In this paper, we present the external requirements and logical design of a specific trusted device, the NRL Pump, and ...
متن کاملThe Mediating Role of Automatic Thoughts in Relationship Between Attachment Style with Sexual Dysfunction and Marital Commitment: A Path Analysis
Background: This article explores the effects of attachment style and automatic thoughts on sexual dysfunction and marital commitment, using the path analysis model. This descriptive-correlational study was conducted on 375 married female students in Shahid Chamran University of Ahvaz, Iran, from 2016 to 2017. Methods: According to Morgan and Jersey table and the statistical population (375 pe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 99 شماره
صفحات -
تاریخ انتشار 2004